Metalevel Computation in Maude

Metalevel computation in Maude

Metalevel argumentation

The abstract nature of Dung’s seminal theory of argumentation accounts for its widespread application as a general framework for various species of nonmonotonic reasoning, and, more generally, reasoning in the presence of conflict, whether such conflict arises given uncertain or incomplete information or as a result of differing opinions or preferences. In this paper we formalise reasoning abou...

Principles of Metalevel Control

Principles of Metalevel Control by Nicholas James Hay Doctor of Philosophy in Computer Science University of California, Berkeley Professor Stuart Russell, Chair Intelligent agents perform computations to help them decide how to act. But which computations will best inform these decisions? How long should an agent think before acting? Given the impracticality of performing all possible relevant...

Metalevel Decomposition in AL-1/D

Research has shown that metalevel architectures and the concept of re ection are useful for modifying programming systems dynamically in a controlled way. To modify the system exibly, it is necessary to represent various abstraction levels, from the programing language level to the OS level, as well as user's multiple views, such as the view where the distributed environment is transparent and ...

Gekko: A Metalevel for Adaptation in Nexus

In this paper, we describe the results of an experiment to add support for multimethod communication to the NexusJava communications library using metalevel programming techniques. We describe the Nexus architecture and the Java implementation of this architecture. We summize the technique of metalevel programming, and apply the technique to develop a metalevel for adaptive multimethod communic...